State space

Results: 4812



#Item
681Computer programming / Concurrency / Threads / Parallel computing / Java Pathfinder / Monitor / Producer-consumer problem / Model checking / Lock / Computing / Concurrent computing / Concurrency control

C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:22:49
682Malin Space Science Systems / Moon / Mars / Lunar science / Impact crater / Planetary science / Planetary geology / Astronomy

Workshop on Issues in Crater Studies and the Dating of Planetary Surfacespdf CURRENT STATE OF KNOWLEDGE OF MODERN MARTIAN CRATERING. Ingrid J. Daubar1, A. S. McEwen2, S. Byrne2, M. Kreslavsky3, L. Saper4, M

Add to Reading List

Source URL: www.hou.usra.edu

Language: English - Date: 2015-02-27 19:53:30
683European Space Agency / Geodesy / UNAVCO / Radar / Envisat / Earthscope / Interferometric synthetic aperture radar / Global Monitoring for Environment and Security / Plate Boundary Observatory / Spaceflight / GPS / Geophysics

2009 WinSAR luncheon 1. Falk Amelung, State of WinSAR and Supersites 2. (?) Torild van Eck, European Plate Boundary Observatory (EPOS) 3. Fran Boler, Current status of WinSAR and GEOES archives 4. Vicky Wolf, Update from

Add to Reading List

Source URL: winsar.unavco.org

Language: English - Date: 2012-07-17 12:07:51
684Matrix theory / Singular value decomposition / Control theory / Matrix / Eigenvalues and eigenvectors / State space / Lyapunov stability / Matrix difference equation / Leslie matrix / Algebra / Mathematics / Linear algebra

Toward a General Model for Populations with Changing Rates

Add to Reading List

Source URL: www.demographic-research.org

Language: English - Date: 2010-03-16 11:57:06
685Control theory / State space / Infrared

[312] Public Beamlines [313]

Add to Reading List

Source URL: www.spring8.or.jp

Language: English - Date: 2009-03-03 21:07:49
686Astrology / Astronomy / Orbits / Conic sections / Planetary science / Orbit / Kepler orbit / Solar System / Elliptic orbit / Celestial mechanics / Astrodynamics / Space

Large Meteorite Impacts and Planetary Evolution Vpdf EVOLUTION OF THE ORBITS OF BODIES FORMED WITHIN THE PROTO-PLANETARY RINGS. T. R. Abdulmyanov, Kazan State Power Engineering University, Kazan, Russia (ab

Add to Reading List

Source URL: www.hou.usra.edu

Language: English - Date: 2013-05-20 03:52:20
687Mathematics / Kinematics / State space / Holonomic / Equations of motion / Sturm–Liouville theory / Hilbert transform / Classical mechanics / Physics / Mathematical analysis

and Actuators,9l-96 Sensors 91 On the Rectification of Vibratory Motion

Add to Reading List

Source URL: hrl.harvard.edu

Language: English - Date: 2004-07-07 14:53:36
688International relations / Registration Convention / Space Liability Convention / Outer Space Treaty / United Nations Committee on the Peaceful Uses of Outer Space / Space policy of the United States / Space law / Law / Spaceflight

(6) Application of the concept of the “launching State” The General Assembly, Recalling the Convention on International Liaviligy for Damage Caused by

Add to Reading List

Source URL: stage.tksc.jaxa.jp

Language: English - Date: 2014-09-09 21:09:48
689Light sources / Solar flare / Watt / Energy / Sun / Gamma ray / Kilowatt hour / Solar prominence / Physics / Plasma physics / Space plasmas

Title: What’s the Difference between Energy and Power? Author: Frederick A. Ringwald (Department of Physics, California State University, Fresno) (E-mail: ).

Add to Reading List

Source URL: www.heliophysics.ucar.edu

Language: English - Date: 2014-03-27 14:52:44
690Spaceflight / Litter / Space debris / USA-193 / Manned spacecraft / Atmospheric entry / Federal Emergency Management Agency / Emergency management / Debris / Spacecraft / Space science / Space technology

STATE OF HAWAII HAZARD AWARENESS PLAN FOR SPACE VEHICLE RE-ENTRY IMPACT February 2008

Add to Reading List

Source URL: www.jumpjet.info

Language: English - Date: 2008-11-09 02:20:34
UPDATE